Fusions of Description Logics and Abstract Description Systems
نویسندگان
چکیده
Fusions are a simple way of combining logics. For normal modal logics, fusions have been investigated in detail. In particular, it is known that, under certain conditions, decidability transfers from the component logics to their fusion. Though description logics are closely related to modal logics, they are not necessarily normal. In addition, ABox reasoning in description logics is not covered by the results from modal logics. In this paper, we extend the decidability transfer results from normal modal logics to a large class of description logics. To cover different description logics in a uniform way, we introduce abstract description systems, which can be seen as a common generalization of description and modal logics, and show the transfer results in this general setting.
منابع مشابه
Future study of Description System Architecture Approaches with Emphasis on Strategic Management
Systems Architecture is a generic discipline to handle objects (existing or to be created) called systems, in a way that supports reasoning about the structural properties of these objects. Systems Architecture is a response to the conceptual and practical difficulties of the description and the design of complex systems. Systems Architecture is a generic discipline to handle objects (existin...
متن کاملConnecting Abstract Description Systems
Combining knowledge representation and reasoning formalisms like description logics (DLs), temporal logics, and logics of space, is worthwhile but difficult. It is worthwhile because usually realistic application domains comprise various aspects of the world, thus requiring suitable combinations of formalisms modeling each of these aspects. It is difficult because the computational behavior of ...
متن کاملA Note on Relativised Products of Modal Logics
One may think of many ways of combining modal logics representing various aspects of an application domain. Two ‘canonical’ constructions, supported by a well-developed mathematical theory, are fusions [17, 6, 7] and products [8, 7]. The fusion L1⊗ · · ·⊗Ln of n ≥ 2 normal propositional unimodal logics Li with the boxes 2i is the smallest multimodal logic in the language with n boxes 21, . . . ...
متن کاملOptimizing Reasoning in Description Logics with Qualified Number Restrictions
In this extended abstract an optimization technique, the so-called signature calculus, for reasoning with number restrictions in description logics is investigated. The calculus is used to speed-up ABox (and TBox) reasoning in the description logic ALCQHR+ .
متن کاملTableau Algorithms for E-Connections of Description Logics
For many years, the Modal Logic community has pursued various techniques for robustly combining logics. These methodologies reflect a new direction in Logic applied to Knowledge Representation, namely the direction toward constructing and investigating complex combined logical formalisms out of simpler ones. The E-Connections framework is a novel technique for combining Abstract Description Sys...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
- J. Artif. Intell. Res.
دوره 16 شماره
صفحات -
تاریخ انتشار 2002